package domains;

import java.util.Map;

import controlFlowGraph.Variable;

public class IntervalDomain extends AnalysisDomain {
	
	private Map<Variable,Interval> intervals;
	
	public IntervalDomain(Map<Variable,Interval> info){
		this.intervals = info;
	}
	
	public Map<Variable,Interval> getIntervals(){
		return this.intervals;
	}
	
	@Override
	public boolean equals(Object obj) {
		if (obj instanceof IntervalDomain) {
			IntervalDomain other = (IntervalDomain) obj;
			return other.getIntervals().equals(this.getIntervals());
		}
		return false;
	}
}
